Nuprl Definition : ma-valtype 11,40
ma-valtype(da; k) == fpf-cap(da; Kind-deq; k; top) 
latex

Definitionsfpf-cap(f; eq; x; z), Kind-deq, top
FDL editor aliasesma-valtype

origin